A testing scenario for probabilistic automataSTOELINGA, Mariëlle; VAANDRAGER, Frits.Lecture notes in computer science. 2003, pp 464-477, issn 0302-9743, isbn 3-540-40493-7, 14 p.Conference Paper

Compositionality for probabilistic automataLYNCH, Nancy; SEGALA, Roberto; VAANDRAGER, Frits et al.Lecture notes in computer science. 2003, pp 208-221, issn 0302-9743, isbn 3-540-40753-7, 14 p.Conference Paper

Realization of probabilistic automata : Categorical approachMATEUS, Paulo; SERNADAS, Amflcar; SERNADAS, Cristina et al.Lecture notes in computer science. 2000, pp 237-251, issn 0302-9743, isbn 3-540-67898-0Conference Paper

Symbolic model checking for probabilistic processesBAIER, C; CLARKE, E. M; HARTONAS-GARMHAUSEN, V et al.Lecture notes in computer science. 1997, pp 430-440, issn 0302-9743, isbn 3-540-63165-8Conference Paper

SUR LA DISTRIBUTION NON STATIONNAIRE DES PROBABILITES DES ETATS D'UN SYSTEME DE SERVICE DE MASSE A PLUSIEURS FILESIVNITSKIJ VA.1976; IZVEST. AKAD. NAUK S.S.S.R., TEKH. KIBERN.; S.S.S.R.; DA. 1976; NO 1; PP. 67-75; BIBL. 7 REF.Article

SOME ASPECTS OF LINEAR SPACE AUTOMATA.INAGAKI Y; FUKUMURA T; MATUURA H et al.1972; INFORM. AND CONTROL; U.S.A.; DA. 1972; VOL. 20; NO 5; PP. 439-479; BIBL. 12 REF.Article

THEORIE DES AUTOMATES PROBABILISTES ABSTRAITSBUKHARAEV RG.1975; PROBL. KIBERN.; S.S.S.R.; DA. 1975; NO 30; PP. 147-197; BIBL. 9 REF.Article

PROBABILISTIC AUTOMATA WITH A TIME-VARIANT STRUCTURE.PHAN DINH DIEU; PHAM TRA AN.1976; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1976; VOL. 12; NO 1-2; PP. 3-27; ABS. ALLEM. RUSSE; BIBL. 17 REF.Article

APPLIED ASPECTS OF PROBABILISTIC AUTOMATABUKHARAJEV RG.1971; IN: PROC. INT. FED. AUTOM. CONTROL 5TH WORLD CONGR.; PARIS; 1972; DUESSELDORF; IFAC; DA. 1971; VOL. 4; PP. 1-8; BIBL. 5 REF.Conference Proceedings

A NOTE ON PROBABILISTIC INPUT-OUTPUT RELATIONS.RAO KOSARAJU S.1974; INFORM. AND CONTROL; U.S.A.; DA. 1974; VOL. 26; NO 2; PP. 194-197; BIBL. 3 REF.Article

Identification of probabilistic cellular automataADAMATSKIY, A. I.Soviet journal of computer and systems sciences. 1992, Vol 30, Num 3, pp 118-123, issn 0882-4002Article

ZERLEGUNGSSAETZE FUER NICHTDETERMINITISCHE AUTOMATEN = ANALYSE DES AUTOMATES NON DETERMINISTESSTRASSNER K.1979; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DDR; DA. 1979; VOL. 15; NO 1-2; PP. 95-104; ABS. ENG/RUS; BIBL. 5 REF.Article

LANGAGES NON STOCHASTIQUES OBTENUS COMME REUNION OU INTERSECTION DE LANGAGES STOCHASTIQUESLAPIN'SH YA K.1974; AVTOMAT. VYCHISLIT. TEKH., LATV. S.S.R.; S.S.S.R.; DA. 1974; NO 4; PP. 6-13; BIBL. 4 REF.Article

FUNCTIONS ASSOCIATED TO A PARTITION ON STATE SET OF A PROBABILISTIC AUTOMATION.TANDAREANU N.1975; INFORM. AND CONTROL; U.S.A.; DA. 1975; VOL. 28; NO 4; PP. 304-313; BIBL. 2 REF.Article

FINITE-STATE PROBABILISTIC LANGUAGES.KNAST R.1972; INFORM. AND CONTROL; U.S.A.; DA. 1972; VOL. 21; NO 2; PP. 148-170; BIBL. 12 REF.Article

SUR UNE APPLICATION DU PRINCIPE POUR MINIMISER L'INTERDEPENDANCE DANS LES AUTOMATES PROBABILISTESMARTIN L; REISCHER C.1980; ANN. DISCRETE MATH.; NLD; DA. 1980; VOL. 8; PP. 189-193; BIBL. 6 REF.Conference Paper

CLASSIFICATION DES ETATS D'UN AUTOMATE PROBABILISTE, ORIENTE VERS L'ETUDE DE SES PROPRIETES ERGODIQUESAL'PINA VS.1980; VEROJATN. MEDOTY KIBERN.; SUN; DA. 1980; NO 17; PP. 15-22; BIBL. 6 REF.Article

ON SOME QUESTIONS OF RATIONALITY AND DECIDABILITY.SONTAG ED.1975; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1975; VOL. 11; NO 3; PP. 375-381; BIBL. 10 REF.Article

STABILITE DES AUTOMATES PROBABILISTES FINISLORENTS AA.1974; TEOR. KONECH. AVTOMATOV PRILOZH., LATV. S.S.R.; S.S.S.R.; DA. 1974; NO 3; PP. 52-60; BIBL. 10 REF.Article

SUR LA DECOMPOSITION D'UN AUTOMATE PROBABILISTEGIORGADZE A KH; DZHEBASHVILI TL.1974; SOOBSHCH. AKAD. NAUK GRUZ. S.S.R.; S.S.S.R.; DA. 1974; VOL. 76; NO 2; PP. 321-323; ABS. GEORGIEN ANGL.; BIBL. 1 REF.Article

ON TWO-STATE ISOLATED PROBABILISTIC AUTOMATACHOON PENG TAN.1972; INFORM. AND CONTROL; U.S.A.; DA. 1972; VOL. 21; NO 5; PP. 483-495; BIBL. 4 REF.Serial Issue

BARYCENTRIC ENTROPY OF MARKOV SYSTEMSMILGRAM M.1981; CYBERN. SYST.; ISSN 0196-9722; USA; DA. 1981; VOL. 12; NO 1-2; PP. 141-178; BIBL. 7 REF.Article

ON TWO STATE COMPLETELY ISOLATED PROBABILISTIC SEQUENTIAL MACHINES.LEE SC; ASAI H.1977; INFORM. AND CONTROL.; U.S.A.; DA. 1977; VOL. 34; NO 1; PP. 22-37; BIBL. 4 REF.Article

QUELQUES METHODES DE DECOMPOSITION SPATIO-TEMPORELLE DES AUTOMATES PROBABILISTESGIORGADZE A KH.1977; DOKL. AKAD. NAUK S.S.S.R.; S.S.S.R.; DA. 1977; VOL. 232; NO 4; PP. 783-785; BIBL. 5 REF.Article

STATE-SEQUENCE RECONSTRUCTION OF NONLINEAR PROBABILISTIC AUTOMATA. = RECONSTRUCTION D'UNE SEQUENCE D'ETAT DES AUTOMATES PROBABILISTES NON LINEAIRESTZAFESTAS SG.1976; ELECTRON. LETTERS; G.B.; DA. 1976; VOL. 12; NO 4; PP. 89-90; BIBL. 3 REF.Article